Revision: tla-tools--devo--0--patch-57
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Mon Sep 15 14:35:18 JST 2003
Standard-date: 2003-09-15 05:35:18 GMT
Modified-files: ChangeLog tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-57
Summary: Don't try to commit .arch-ids files to CVS

